Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw
نویسندگان
چکیده
Resumen Tomando como base las ideas presentadas en [1], general-izamos algunos de sus resultados a programas disyuntivos; dichas gen-eralizaciones se obtendrán extendiendo el siguiente resultado presentado en [1]: Dado un programa normal P y a unátomo, se tiene que P C a si, y sólo si, P C ω a. Junto con la regla de inferencia Modus Ponens (MP) que nos permite obtener ψ de ϕ y ϕ → ψ. Esta regla de inferencia estará presente en todos los sistemas lógicos que se definen a continuación así como en todos aquellos que sean tratados en este trabajo.
منابع مشابه
Modelado de un problema de iluminación inteligente de una oficina usando un enfoque de actualización basado en Answer Set Programming
Resumen. La actualización es una acción que nos permite renovar información, es decir, consiste en convertir información retrasada en información actual. Por otra parte, Answer Set Programming es un lenguaje de programación lógico y declarativo basado en la lógica. El propósito de este art́ıculo es utilizar el enfoque de actualización de secuencias de programas lógicos basado en Answer Set Progr...
متن کاملSocial Influences on Conservation: Lessons from U.S. Recovery Programs for Marine Mammals
Marine mammal recovery programs authorized by the U.S. Marine Mammal Protection Act and the U.S. Endangered Species Act face many challenges. In addition to biological uncertainty, social, organizational, and other conditions influence the decision-making behavior of program participants. From 1996 to 1999, I analyzed the decision-making behavior of participants in five marine mammal recovery p...
متن کاملAprendizaje Automatico de Programas Logico-Funcionales
En este trabajo se presenta un sistema para el aprendizaje de programas lógico-funcionales a partir de ejemplos y de conocimiento previo. Esto supone una extensión de la programación lógica inductiva. El marco se basa en dos operadores fundamentales, la generalización consistente restrictiva, inspirado en los sistemas de aprendizaje basados en generalización, y el narrowing inverso, inspirado e...
متن کاملConsejeria De Empleo Y Desarrollo Tecnologico
El Real Decreto 467/2003, de 25 de abril, traspasa a la Comunidad Autónoma de Andalucía la competencia sobre la gestión y el control de los Programas Nacionales de Escuelas Taller, Casas de Oficios, Talleres de Empleo y Unidades de Promoción y Desarrollo, y sobre la concesión de ayudas públicas reguladas por las Ordenes anteriormente citadas, incluyéndose la programación, organización y gestión...
متن کاملHerramienta de apoyo en la detección de reutilización de código fuente
Resumen. El acto de tomar parcial o totalmente contenidos generados por otras personas, y presentarlos como propios, sin dar el crédito correspondiente a los autores, es una forma indebida de reutilización de contenidos, considerada como plagio. Desafortunamente, en la actualidad, dada la amplia disponibilidad de contenidos a través de Internet, esta práctica se ha incrementado. La gran mayoŕıa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006